135f70200SMichael Kruse{ 235f70200SMichael Kruse "arrays" : [ 335f70200SMichael Kruse { 435f70200SMichael Kruse "name" : "MemRef_Array", 535f70200SMichael Kruse "sizes" : [ "*" ], 635f70200SMichael Kruse "type" : "float" 735f70200SMichael Kruse }, 835f70200SMichael Kruse { 935f70200SMichael Kruse "name" : "MemRef_X", 1035f70200SMichael Kruse "sizes" : [ "*" ], 11*55cb5796SNikita Popov "type" : "ptr" 1235f70200SMichael Kruse }, 1335f70200SMichael Kruse { 1435f70200SMichael Kruse "name" : "MemRef_Base", 1535f70200SMichael Kruse "sizes" : [ "*" ], 1635f70200SMichael Kruse "type" : "float" 1735f70200SMichael Kruse }, 1835f70200SMichael Kruse { 1935f70200SMichael Kruse "name" : "MemRef_C", 2035f70200SMichael Kruse "sizes" : [ "*" ], 2135f70200SMichael Kruse "type" : "float" 2235f70200SMichael Kruse } 2335f70200SMichael Kruse ], 2435f70200SMichael Kruse "context" : "{ : }", 2535f70200SMichael Kruse "name" : "%loop---%exit", 2635f70200SMichael Kruse "statements" : [ 2735f70200SMichael Kruse { 2835f70200SMichael Kruse "accesses" : [ 2935f70200SMichael Kruse { 3035f70200SMichael Kruse "kind" : "write", 3135f70200SMichael Kruse "relation" : "{ Stmt_body[i0] -> MemRef_Base[i0] }" 3235f70200SMichael Kruse } 3335f70200SMichael Kruse ], 3435f70200SMichael Kruse "domain" : "{ Stmt_body[i0] : 0 <= i0 <= 1023 }", 3535f70200SMichael Kruse "name" : "Stmt_body", 3635f70200SMichael Kruse "schedule" : "{ Stmt_body[i0] -> [i0, 0] }" 3735f70200SMichael Kruse }, 3835f70200SMichael Kruse { 3935f70200SMichael Kruse "accesses" : [ 4035f70200SMichael Kruse { 4135f70200SMichael Kruse "kind" : "read", 4235f70200SMichael Kruse "relation" : "{ Stmt_body2[i0] -> MemRef_Base[i0] }" 4335f70200SMichael Kruse }, 4435f70200SMichael Kruse { 4535f70200SMichael Kruse "kind" : "write", 4635f70200SMichael Kruse "relation" : "{ Stmt_body2[i0] -> MemRef_C[0] }" 4735f70200SMichael Kruse } 4835f70200SMichael Kruse ], 4935f70200SMichael Kruse "domain" : "{ Stmt_body2[i0] : 0 <= i0 <= 1023 }", 5035f70200SMichael Kruse "name" : "Stmt_body2", 5135f70200SMichael Kruse "schedule" : "{ Stmt_body2[i0] -> [i0, 1] }" 5235f70200SMichael Kruse } 5335f70200SMichael Kruse ] 5435f70200SMichael Kruse} 55